home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / setname.c < prev    next >
Encoding:
C/C++ Source or Header  |  1996-08-26  |  101 b   |  8 lines
  1. # include "setname.h"
  2.  
  3. void setName (employee e)
  4.  /*@modifies e->name@*/
  5. {
  6.   strcpy (e->name, "");
  7. }
  8.